Type Models